<?php

function write($log) {
    echo "log:$log\n";
}

?>